💎 Refinement Types - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·15h

From monolith to modular monolith to microservices: realistic migration patterns

dev.to·9h·

Discuss: DEV

🎯Microservices

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🎯Escape Analysis

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🦀Rust Macros

Using Haskell in Production

agentultra.com·17h

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🔬Static Analysis

Conversation: LLMs and the what/how loop

martinfowler.com·5h

⚙️Systems Programming

Functional Logic Program Transformations

arxiv.org·15h

λFunctional Programming

What's New in FastMCP 3.0

jlowin.dev·3h

🧩Mimalloc Internals

Simplex, a workflow specification language for autonomous agents

github.com·23h·

Discuss: Hacker News

🎭Program Synthesis

abelianization of an additive category in nLab

ncatlab.org·4h

∘Category Theory

Use of Assertions

blog.regehr.org·5h

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·1d

🧮SMT Solvers

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

Alchemist: from Brickbuilder to a Databricks Marketplace App

databricks.com·19h

Designing a Programming Language for the Desert

futhark-lang.org·4h·

Discuss: Hacker News

🔨Incremental Compilation

Dependency Inversion Principle: The Architect’s Superpower

ihoka.me·1d·

Discuss: Hacker News

🔄Effect Handlers

The Stainless PHP SDK generator is now generally available

stainless.com·1d

MLflow vs Kubeflow vs Airflow: Choosing the Right MLOps Tool for Real-World Production Systems

pub.towardsai.net

·1d

Dealing with alternatives

jemarch.net·1d

🏷️Pointer Tagging

Loading more...